Ode as an Active Database: Constraints and Triggers
نویسندگان
چکیده
The Ode object-oriented database provides facilities for associating constraints and triggers with objects.Constraints and triggers are associated with class (object type) definitions which makes them easy to read,to implement, and to blend with object inheritance. In this paper, we state our design goals in providingtrigger and constraint facilities for an object-oriented database, describe the constraint and trigger facilitiesin Ode, their implementation, and illustrate their use. Although triggers and constraints can beimplemented by similar mechanisms, we point out the significant conceptual differences. Further, wedistinguish between integrity constraints that must be maintained on a transaction basis and those that areinherent to an object and are more appropriately maintained on an object update basis. We also discussrelated issues such as intra-object versus inter-object constraints and triggers, coupling modes, order andenvironment of invocation.
منابع مشابه
The Ode Active Database: Trigger Semantics and Implementation
Triggers are the basic ingredient of active databases. Ode triggers are event-action pairs. An event can be a composite event (i.e., an event composed from other events). Composite events are detected by translating the event speciications into nite state machines. In this paper, we describe the integration and implementation of composite event based triggers into the Ode object database. We fo...
متن کاملRationale for the Design of Persistence and Query Processing Facilities in the Database Programming Language O++
ODE is a database system and environment based on the object paradigm. It offers one integrated data model for both database and general purpose manipulation. The database is defined, queried, and manipulated in the database programming language O++, an extension of C++. O++ uses the C++ object definition facility, called the class, to provide data encapsulation and multiple inheritance. O++ ex...
متن کاملUsing Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules
In this paper we show that the language of declarative logic programming (DLP) with answer sets and its extensions can be used to specify database evolution due to updates and active rules, and to verify correctness of active rules with respect to a specification described using temporal logic and aggregate operators. We classify the specification of active rules into four kind of constraints w...
متن کاملSoftware Architecture OCL2Trigger: Deriving active mechanisms for relational databases using Model-Driven Architectureq
Transforming integrity constraints into active rules or triggers for verifying database consistency pro duces a serious and complex problem related to real time behaviour that must be considered for any implementation. Our main contribution to this work is to provide a complete approach for deriving the active mechanisms for Relational Databases from the specification of the integrity constrain...
متن کاملInvariance , Maintenance and other declarativeobjectives of triggers { a formal characterizationof active databasesMutsumi
In this paper we take steps towards a systematic design of active features in an active database. We propose having declarative speciications that specify the objective of an active database and formulate the cor-rectness of triggers with respect to such speciications. In the process we distinguish between the notions ofìnvariance' and`maintenance' and propose four diierent classes of speciicat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991